-
1 логике
-
2 predicate logic language
1) Вычислительная техника: язык (программирования), основанный на логике предикатов, язык программирования, основанный на логике предикатов2) Механика: язык основанный на логике предикатов3) Автоматика: язык, основанный на логике предикатов (как функций нескольких переменных)Универсальный англо-русский словарь > predicate logic language
-
3 perverted
pəˈvə:tɪd прил.
1) извращенный;
искаженный by a perverted logic ≈ логике вопреки Syn: unnatural
2) страдающий половым извращением искаженный;
извращенный;
испорченный - the * age развращенный /испорченный/ век - * intellect извращенный ум - * notions извращенные /неправильные/ представления страдающий половым извращением ~ извращенный;
искаженный;
by a perverted logic логике вопреки perverted p. p. от pervert ~ извращенный;
искаженный;
by a perverted logic логике вопреки ~ страдающий половым извращениемБольшой англо-русский и русско-английский словарь > perverted
-
4 logistical
adjective mil.относящийся к тылу, тыловой; logistical number номер, присваиваемый грузу при автоперевозке; logistical support материально-техническое обеспечение* * *1 (a) тыловой2 (r) относящийся к тылу* * *относящийся к математической логике, логистике* * *adj. относящийся к математической логике, вычислительный* * *I прил. 1) относящийся к математической логике 2) вычислительный II прил.; воен. относящийся к тылу -
5 logical
ˈlɔdʒɪkəl прил.
1) логический, относящийся к логике
2) логический, логичный, последовательный, связный It is logical to assume that they will attend. ≈ Логично думать, что они явятся.
3) способный рассуждать логически (о человеке)
4) рациональный, разумный Syn: rational, reasonable логический;
относящийся к логике - * symbol( специальное) символ логической связи логичный, последовательный - * conclusion логический вывод - * mind логичный /последовательный/ ум неизбежно вытекающий( из предыдущего) - * assumption законное предположение разумный - * behaviour разумное поведение( компьютерное) логический - * addition логическое сложение, дизъюнкция - * multiplication логическое умножение, конъюнкция logical логический ~ логичный, последовательный ~ логичный ~ последовательный -
6 looginen
yks.nom. looginen; yks.gen. loogisen; yks.part. loogista; yks.ill. loogiseen; mon.gen. loogisten loogisien; mon.part. loogisia; mon.ill. loogisiinlooginen логический, относящийся к логике
логический, относящийся к логике -
7 logical appeal
рекл. воззвание [призыв\] к логике* (рекламный подход, при котором предложение товаров и услуг базируется на обращении к логике потребителя; при таком подходе товары или услуги представляются как логический выбор потребителя, напр., если соблюдающий диету потребитель хочет пива, то его логическим выбором будет светлое пиво)Syn:See:* * * -
8 symbolic logic
символическая логика; иное название математической логики, указывающее на то, что в данной науке весьма широко применяются символы (больше, чем в традиционной логике).* * *символическая логика; иное название математической логики, указывающее на то, что в данной науке весьма широко применяются символы (больше, чем в традиционной логике). -
9 according to this logic
Общая лексика: согласно этой логике, следуя этой логикеУниверсальный англо-русский словарь > according to this logic
-
10 bilogical
Вычислительная техника: билогический (основанный на бинарной логике), биологический (основанный на бинарной логике) -
11 juxtapose
[ˌdʒʌkstə'pəʊz]1) Общая лексика: бок о бок, накладывать друг на друга, поместить рядом, помещать бок о бок, помещать рядом, рядом, сопоставить, сопоставлять2) Компьютерная техника: соединить3) Техника: располагать рядом, сближать, соединять (в логике), сопоставлять (в логике), размещать рядом (напр. для сравнения)4) Математика: записывать рядом, объединять, приводить в соприкосновение, соединять, соединяться, сочленять5) Автомобильный термин: накладывать6) Текстиль: сближать раппорты рисунка7) Вычислительная техника: выводить без перекрытия8) Деловая лексика: сравнивать -
12 logician
1) Общая лексика: логик2) Математика: специалист по логике3) Вычислительная техника: специалист по логике или логическому проектированию, специалист по логическому проектированию4) Программирование: специалист в области логики -
13 predicate logic-based language
Вычислительная техника: язык (программирования), основанный на логике предикатов, язык программирования, основанный на логике предикатовУниверсальный англо-русский словарь > predicate logic-based language
-
14 two-valued
[ˌtuː'væljuːd]1) Общая лексика: двузначный (о логике), имеющий истинностные значения "истина" и "ложь"2) Логика: двузначный (о логике и т.п.)3) Макаров: двойственный -
15 Grundaussage
сущ.1) комп. исходное высказывание, основное высказывание, исходное суждение (в математической логике) -
16 H-Pegel
прил.1) выч. высокий (логический) уровень2) микроэл. высокий уровень напряжения (в логических схемах; в положительной логике соответствует логической единице, в отрицательной логике логическому нулю) -
17 H-Zustand
1. сокр. 2. сущ.2) микроэл. состояние с высоким уровнем напряжения, состояние логической "1" (в положительной логике) -
18 High-Pegel
прил.1) электр. высокий уровень напряжения (в логических схемах)2) микроэл. высокий уровень напряжения (в логических схемах; в положительной логике соответствует логической единице, в отрицательной логике логическому нулю) -
19 High-Zustand
прил.2) микроэл. состояние логической "1" (в положительной логике), состояние с высоким уровнем напряжения -
20 L-Pegel
прил.микроэл. низкий уровень сигнала, низкий уровень напряжения (в логических схемах; в положительной логике соответствует логическому нулю, в отрицательной логике логической единице)
См. также в других словарях:
логике — следовать логике • объект, зависимость, контроль … Глагольной сочетаемости непредметных имён
Видеоигры на дискретной логике — Видеоигры на дискретной логике наиболее ранние видеоигры, аппаратура которых не использовала микропроцессоров и управляющих программ и была выполнена на дискретной логике, то есть на цифровых микросхемах низкой степени интеграции. Видеоигры … Википедия
ТЕОРИЯ В ЛОГИКЕ — ТЕОРИЯ В ЛОГИКЕ представляет собой логически связную систему предложений. В качестве логической связи используются процедуры дедукции, формализующие отношение выводимости. В зависимости от степени проясненности (выявленности) дедуктивных… … Философская энциклопедия
От наукоучения — к логике культуры. Два философских... — «ОТ НАУКОУЧЕНИЯ К ЛОГИКЕ КУЛЬТУРЫ. ДВА ФИЛОСОФСКИХ ВВЕДЕНИЯ В ДВАДЦАТЬ ПЕРВЫЙ ВЕК» Эта книга B.C. Библера (М., 1991) является вторым, значительно дополненным изданием его работы «Мышление как творчество: Введение в логику мысленного… … Энциклопедия эпистемологии и философии науки
Индукция (в логике) — Индукция (греч. epagoge, лат. inductio ‒ наведение), вид обобщений, связанных с предвосхищением результатов наблюдений и экспериментов на основе данных прошлого опыта. Именно поэтому и говорят об эмпирических, или индуктивных, обобщениях, или об… … Большая советская энциклопедия
Независимость (в логике) — Независимость в логике, свойство предложения некоторой теории или формулы некоторого исчисления, заключающееся в том, что ни само это предложение, ни его отрицание не выводятся из данной системы предложений (например, какой либо системы аксиом)… … Большая советская энциклопедия
Обращение (в логике) — Обращение (лат. conversio), преобразование предложения путём обмена местами его терминов ≈ субъекта и предиката. О. называется простым, если при О. кванторные слова (см. Квантор) не меняются. Просто обращаются все общеотрицательные предложения… … Большая советская энциклопедия
КЛАСС (в логике и математике) — КЛАСС, в логике и математике то же, что множество, т. е. произвольная (конечная или бесконечная) совокупность предметов, выделенных по какому либо признаку и просто перечисленных. Предметы, образующие класс, называются его элементами; понятие… … Энциклопедический словарь
Предложение (в логике) — Предложение в логике предикатов корректно сформированная формула α не содержащая несвязанных переменных. Это означает, что возможные значения всех, входящих в формулу переменных, определены и формула имеет фиксированную таблицу истинности.… … Википедия
Класс (в логике) — Класс (в логике), понятие, выражающее совокупность (множество) предметов, удовлетворяющих каким либо условиям или признакам (иногда различают понятия «К.» и «множество», что бывает связано со специальными вопросами множеств теории); про такие… … Большая советская энциклопедия
Форма (в логике) — Форма в логике, форма логическая, та сторона рассуждения (доказательства, вывода, аргументации и т.п.), которая не зависит от содержания данного рассуждения. Логическая форма в языке фиксируется посредством логических констант и образуемых с их… … Большая советская энциклопедия